#include "__ThreadManForUser.h"

void __KernelCallGeFinishCb(u32 arg)
{
#ifdef NO_THREAD
    __KernelCallCallbackTypeWithArg(CBTYPE_GE_FINISH, arg);
#else
    __KernelCallCallbackTypeWithArgFromGfxTh(CBTYPE_GE_FINISH, arg);
#endif
}

void __KernelCallGeSignalCb(u32 arg)
{
#ifdef NO_THREAD
    __KernelCallCallbackTypeWithArg(CBTYPE_GE_SIGNAL, arg);
#else
    __KernelCallCallbackTypeWithArgFromGfxTh(CBTYPE_GE_SIGNAL, arg);
#endif
}

